Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
801	JFLAP2TikZ Andrew Mertz and William Slough Introduction JFLAP1 is a popular Java program for experimenting with finite state machines, Turing machines and other concepts from Formal Languages and Automata Theory. Version Add to Reading List Source URL: mirrors.hust.edu.cn Language: English - Date: 2014-07-22 07:31:56 Theoretical computer science Computer science PGF/TikZ Turing machine Finite-state machine Pushdown automaton Models of computation Theory of computation Automata theory
802	Jim Nutaro University of Arizona Discrete event approximations of continuous systems Add to Reading List Source URL: www.dddas.org Language: English - Date: 2005-11-22 11:54:08 Computer science Mathematics SP-DEVS Behavior of coupled DEVS Automata theory DEVS Applied mathematics
803	Discrete Event Solution of Gas Dynamics within the DEVS Framework J. Nutaro, B. P. Zeigler, R. Jammalamadaka, and S. Akerkar Arizona Center for Integrative Modeling and Simulation University of Arizona Tucson, AZ Add to Reading List Source URL: www.dddas.org Language: English - Date: 2014-06-21 04:26:43 Computer science Computing SP-DEVS Behavior of DEVS Automata theory DEVS Applied mathematics
804	State of New York Department of State Division of Code Enforcement and Administration One Commerce Plaza 99 W ashington Avenue, Albany, New York[removed]4073 Fax: ([removed] Add to Reading List Source URL: www.dos.ny.gov Language: English - Date: 2013-10-11 14:15:33 Automata theory Pattern matching Regular expression C Computing Software engineering Computer programming
805	Hybrid System Modeling: Operational Semantics Issues OMG Technical Meeting Feb. 4, 2004 Anaheim, CA, USA Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2004-02-06 20:38:42 Theoretical computer science Science Differential equations Dynamical systems Diagrams Finite-state machine Actor model Hybrid system SIGNAL Models of computation Computing Automata theory
806	Computational Implementation of Non-Concatenative Morphology Yael Cohen-Sygal Dale Gerdemann Shuly Wintner Dept. of Computer Science Seminar f¨ur Sprachwissenschaft Dept. of Computer Science Add to Reading List Source URL: cs.haifa.ac.il Language: English - Date: 2003-04-01 02:06:48 Applied mathematics Computer science Mathematics Theoretical computer science Finite-state machine Automata theory Models of computation Formal languages
807	Sayan Mitra Department of Electrical & Computer Engineering Coordinated Science Laboratory University of Illinois at Urbana Champaign Urbana, IL 61801 Add to Reading List Source URL: users.crhc.illinois.edu Language: English - Date: 2014-10-11 16:40:07 Hybrid automaton Model checking DREAM Theorem Proving in Higher-Order Logics Orc Computer science Applied mathematics Theoretical computer science Formal methods Automata theory
808	Probabilistic Model Checking  and Strategy Synthesis    Dave Parker      Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-10-22 23:04:08 Markov models Model checking Markov chain Probabilistic automaton Economic model Probabilistic logic Probability Statistics Automata theory
809	Developer, deploy thyself! Developers + Self deploys + Anytime = Happy! Ramez Mourad CustomInk @ramezjm [removed] Add to Reading List Source URL: files.meetup.com Language: English - Date: 2012-09-24 11:42:26 Automata theory Agile software development Capistrano Ruby programming language Kanban Git DEVS Software Computing Computer programming
810	Informed Control Over Inputs and Extent of Industrial Processing David A. Hennessy Working Paper 05-WP 398 June 2005 Add to Reading List Source URL: publications.iowa.gov Language: English - Date: 2012-11-12 10:08:03 Mathematics Finite groups Automata theory Entropy Thermodynamic entropy Ordinal number

UPDATE